[next] [prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 100 122 277 304 0 0 -1

N.S.

1 1.00 0.94 1.15 2.61 2.87 0.00 0.00 -0.01

time (sec)

N/A 0.097 1.507 0.343 0.570 2.063 0.000 0.000 0.000

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 119 269 139 357 0 0 -1

N.S.

1 1.00 1.12 2.54 1.31 3.37 0.00 0.00 -0.01

time (sec)

N/A 0.093 1.925 0.375 0.617 1.846 0.000 0.000 0.000

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 69 64 37 71 0 0 62

N.S.

1 1.00 1.60 1.49 0.86 1.65 0.00 0.00 1.44

time (sec)

N/A 0.075 1.199 0.448 0.545 1.555 0.000 0.000 5.523

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 79 75 92 84 0 0 159

N.S.

1 1.00 0.88 0.83 1.02 0.93 0.00 0.00 1.77

time (sec)

N/A 0.088 1.649 0.354 0.614 1.125 0.000 0.000 6.105

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 101 85 146 97 0 0 182

N.S.

1 1.00 0.74 0.62 1.07 0.71 0.00 0.00 1.34

time (sec)

N/A 0.099 2.169 0.368 0.631 1.426 0.000 0.000 6.514

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 115 97 200 110 0 0 205

N.S.

1 1.00 0.63 0.53 1.10 0.60 0.00 0.00 1.13

time (sec)

N/A 0.113 2.807 0.395 0.613 1.133 0.000 0.000 7.300

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 110 164 1249 534 0 0 -1

N.S.

1 1.00 0.65 0.98 7.43 3.18 0.00 0.00 -0.01

time (sec)

N/A 0.117 4.346 0.339 0.789 1.243 0.000 0.000 0.000

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 169 186 949 455 0 0 -1

N.S.

1 1.00 1.06 1.17 5.97 2.86 0.00 0.00 -0.01

time (sec)

N/A 0.109 3.117 0.330 0.646 1.142 0.000 0.000 0.000

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 155 153 479 380 0 314 -1

N.S.

1 1.00 1.01 0.99 3.11 2.47 0.00 2.04 -0.01

time (sec)

N/A 0.106 1.861 0.326 0.589 0.886 0.000 1.668 0.000

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 113 300 203 378 0 0 -1

N.S.

1 1.00 0.74 1.96 1.33 2.47 0.00 0.00 -0.01

time (sec)

N/A 0.118 2.439 0.396 0.593 1.327 0.000 0.000 0.000

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 109 350 440 405 0 0 -1

N.S.

1 1.00 0.70 2.26 2.84 2.61 0.00 0.00 -0.01

time (sec)

N/A 0.117 2.700 0.456 0.647 1.173 0.000 0.000 0.000

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 90 75 41 75 0 0 65

N.S.

1 1.00 2.09 1.74 0.95 1.74 0.00 0.00 1.51

time (sec)

N/A 0.071 2.135 0.373 0.631 0.806 0.000 0.000 7.765

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 100 87 100 90 0 0 161

N.S.

1 1.00 1.11 0.97 1.11 1.00 0.00 0.00 1.79

time (sec)

N/A 0.085 2.982 0.391 0.609 1.168 0.000 0.000 6.470

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 112 99 158 105 0 0 184

N.S.

1 1.00 0.82 0.73 1.16 0.77 0.00 0.00 1.35

time (sec)

N/A 0.096 3.615 0.388 0.638 1.106 0.000 0.000 7.330

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 128 110 216 120 0 0 207

N.S.

1 1.00 0.70 0.60 1.19 0.66 0.00 0.00 1.14

time (sec)

N/A 0.110 5.317 0.374 0.569 0.987 0.000 0.000 8.148

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 340 328 843 416 0 0 -1

N.S.

1 1.00 1.67 1.61 4.13 2.04 0.00 0.00 -0.00

time (sec)

N/A 0.129 8.564 0.416 0.587 1.005 0.000 0.000 0.000

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 155 299 578 358 0 0 -1

N.S.

1 1.00 1.01 1.95 3.78 2.34 0.00 0.00 -0.01

time (sec)

N/A 0.109 3.240 0.430 0.587 1.108 0.000 0.000 0.000

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 123 267 343 337 0 0 -1

N.S.

1 1.00 1.16 2.52 3.24 3.18 0.00 0.00 -0.01

time (sec)

N/A 0.095 2.129 0.386 0.556 0.961 0.000 0.000 0.000

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 64 63 27 68 0 0 49

N.S.

1 1.00 1.56 1.54 0.66 1.66 0.00 0.00 1.20

time (sec)

N/A 0.062 0.786 0.366 0.552 1.100 0.000 0.000 5.377

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 64 82 17 71 0 0 112

N.S.

1 1.00 1.45 1.86 0.39 1.61 0.00 0.00 2.55

time (sec)

N/A 0.069 0.776 0.352 0.566 1.340 0.000 0.000 5.480

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 73 109 0 119 0 0 135

N.S.

1 1.00 0.78 1.16 0.00 1.27 0.00 0.00 1.44

time (sec)

N/A 0.084 1.071 0.382 0.000 1.117 0.000 0.000 5.627

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 99 118 0 131 0 0 158

N.S.

1 1.00 0.71 0.84 0.00 0.94 0.00 0.00 1.13

time (sec)

N/A 0.095 1.659 0.405 0.000 0.952 0.000 0.000 5.963

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 115 130 0 143 0 0 183

N.S.

1 1.00 0.62 0.70 0.00 0.77 0.00 0.00 0.98

time (sec)

N/A 0.112 2.233 0.418 0.000 0.789 0.000 0.000 6.421

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 386 409 979 451 0 0 -1

N.S.

1 1.00 1.51 1.60 3.84 1.77 0.00 0.00 -0.00

time (sec)

N/A 0.148 9.794 0.386 0.697 0.989 0.000 0.000 0.000

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 348 379 706 385 0 0 -1

N.S.

1 1.00 1.71 1.86 3.46 1.89 0.00 0.00 -0.00

time (sec)

N/A 0.131 8.959 0.355 0.579 0.813 0.000 0.000 0.000

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 184 348 414 385 0 0 -1

N.S.

1 1.00 1.19 2.25 2.67 2.48 0.00 0.00 -0.01

time (sec)

N/A 0.116 5.474 0.367 0.611 0.801 0.000 0.000 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 87 62 37 71 0 0 108

N.S.

1 1.00 2.02 1.44 0.86 1.65 0.00 0.00 2.51

time (sec)

N/A 0.076 1.524 0.344 0.540 0.742 0.000 0.000 0.768

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 89 70 0 81 0 0 114

N.S.

1 1.00 0.99 0.78 0.00 0.90 0.00 0.00 1.27

time (sec)

N/A 0.081 1.192 0.365 0.000 0.934 0.000 0.000 5.051

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 89 109 0 119 0 0 117

N.S.

1 1.00 0.65 0.80 0.00 0.87 0.00 0.00 0.85

time (sec)

N/A 0.097 1.350 0.402 0.000 0.904 0.000 0.000 0.393

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 103 95 48 95 0 0 138

N.S.

1 1.00 1.02 0.94 0.48 0.94 0.00 0.00 1.37

time (sec)

N/A 0.086 1.711 0.366 0.623 0.825 0.000 0.000 5.542

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 93 130 0 143 0 0 163

N.S.

1 1.00 0.63 0.88 0.00 0.97 0.00 0.00 1.11

time (sec)

N/A 0.102 2.648 0.383 0.000 1.061 0.000 0.000 5.911

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 151 141 0 155 0 0 186

N.S.

1 1.00 0.78 0.73 0.00 0.80 0.00 0.00 0.96

time (sec)

N/A 0.115 3.535 0.391 0.000 1.522 0.000 0.000 6.525

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 459 490 1159 466 0 0 -1

N.S.

1 1.00 1.51 1.61 3.81 1.53 0.00 0.00 -0.00

time (sec)

N/A 0.169 13.029 0.339 0.612 1.258 0.000 0.000 0.000

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 390 460 826 400 0 0 -1

N.S.

1 1.00 1.54 1.82 3.26 1.58 0.00 0.00 -0.00

time (sec)

N/A 0.150 11.511 0.348 0.610 1.277 0.000 0.000 0.000

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 205 429 472 400 0 0 -1

N.S.

1 1.00 1.00 2.10 2.31 1.96 0.00 0.00 -0.00

time (sec)

N/A 0.135 9.698 0.352 0.595 1.217 0.000 0.000 0.000

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 91 75 41 75 0 0 114

N.S.

1 1.00 2.12 1.74 0.95 1.74 0.00 0.00 2.65

time (sec)

N/A 0.075 2.612 0.382 0.559 0.970 0.000 0.000 5.291

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 106 71 120 84 0 0 136

N.S.

1 1.00 1.18 0.79 1.33 0.93 0.00 0.00 1.51

time (sec)

N/A 0.086 2.177 0.388 0.635 1.191 0.000 0.000 5.467

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 102 83 0 93 0 0 137

N.S.

1 1.00 0.75 0.61 0.00 0.68 0.00 0.00 1.01

time (sec)

N/A 0.095 1.899 0.394 0.000 1.076 0.000 0.000 5.477

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 106 118 0 131 0 0 128

N.S.

1 1.00 0.57 0.63 0.00 0.70 0.00 0.00 0.69

time (sec)

N/A 0.114 2.091 0.397 0.000 1.179 0.000 0.000 5.356

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 130 130 0 143 0 0 140

N.S.

1 1.00 0.56 0.56 0.00 0.61 0.00 0.00 0.60

time (sec)

N/A 0.133 2.905 0.414 0.000 1.364 0.000 0.000 5.529

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 117 105 76 119 0 0 163

N.S.

1 1.00 0.76 0.68 0.49 0.77 0.00 0.00 1.06

time (sec)

N/A 0.106 3.697 0.353 0.629 1.082 0.000 0.000 6.127

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 115 151 0 167 0 0 186

N.S.

1 1.00 0.58 0.76 0.00 0.84 0.00 0.00 0.93

time (sec)

N/A 0.120 5.530 0.373 0.000 0.886 0.000 0.000 6.703

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 180 1784 905 247 2225 0 229

N.S.

1 1.00 1.34 13.31 6.75 1.84 16.60 0.00 1.71

time (sec)

N/A 0.118 4.441 1.075 0.595 1.102 1.742 0.000 9.227

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 110 129 576 155 979 0 230

N.S.

1 1.00 1.11 1.30 5.82 1.57 9.89 0.00 2.32

time (sec)

N/A 0.108 2.963 1.294 0.567 1.145 0.994 0.000 1.683

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 72 78 287 81 311 0 112

N.S.

1 1.00 1.12 1.22 4.48 1.27 4.86 0.00 1.75

time (sec)

N/A 0.093 1.624 0.997 0.560 0.932 0.531 0.000 0.388

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 51 25 25 28 70 23 40

N.S.

1 1.00 1.96 0.96 0.96 1.08 2.69 0.88 1.54

time (sec)

N/A 0.063 0.417 0.215 0.516 1.166 0.211 1.215 4.855

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 79 0 0 0 0 0 -1

N.S.

1 1.00 1.52 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.092 58.693 2.902 0.000 0.000 0.000 0.000 0.000

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

52 52 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.088 180.002 2.694 0.000 0.000 0.000 0.000 0.000

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

52 52 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.088 124.566 2.745 0.000 0.000 0.000 0.000 0.000

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

66 87 142 0 0 0 0 0 -1

N.S.

1 1.32 2.15 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.071 13.836 2.669 0.000 0.000 0.000 0.000 0.000

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F B B F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

134 134 0 5385 0 255 2225 0 332

N.S.

1 1.00 0.00 40.19 0.00 1.90 16.60 0.00 2.48

time (sec)

N/A 0.125 61.692 1.279 0.000 0.938 1.642 0.000 9.873

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 161 129 0 163 979 0 229

N.S.

1 1.00 1.63 1.30 0.00 1.65 9.89 0.00 2.31

time (sec)

N/A 0.104 14.757 1.211 0.000 1.035 0.866 0.000 1.361

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 131 78 0 89 313 0 112

N.S.

1 1.00 2.05 1.22 0.00 1.39 4.89 0.00 1.75

time (sec)

N/A 0.093 41.633 0.939 0.000 0.932 0.463 0.000 0.372

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 95 25 25 38 71 23 46

N.S.

1 1.00 3.65 0.96 0.96 1.46 2.73 0.88 1.77

time (sec)

N/A 0.060 1.969 0.203 0.541 1.119 0.217 1.166 0.174

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 133 0 0 0 0 0 -1

N.S.

1 1.00 2.56 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.087 16.047 0.989 0.000 0.000 0.000 0.000 0.000

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

52 52 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.088 180.009 2.579 0.000 0.000 0.000 0.000 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

52 52 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.085 180.000 0.991 0.000 0.000 0.000 0.000 0.000

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

52 52 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.085 180.003 2.445 0.000 0.000 0.000 0.000 0.000

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

67 88 141 0 0 0 0 0 -1

N.S.

1 1.31 2.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 65.040 3.546 0.000 0.000 0.000 0.000 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 88 141 0 0 0 0 0 -1

N.S.

1 1.31 2.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.076 6.241 0.836 0.000 0.000 0.000 0.000 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 86 141 0 0 0 0 0 -1

N.S.

1 1.32 2.17 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.067 1.550 1.224 0.000 0.000 0.000 0.000 0.000

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

65 86 141 0 0 0 0 0 -1

N.S.

1 1.32 2.17 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.069 6.026 0.879 0.000 0.000 0.000 0.000 0.000

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 88 141 0 0 0 0 0 -1

N.S.

1 1.31 2.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 106.732 0.938 0.000 0.000 0.000 0.000 0.000

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

67 88 0 0 0 0 0 0 -1

N.S.

1 1.31 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 180.001 3.088 0.000 0.000 0.000 0.000 0.000

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 331 100 114 205 184 333 125

N.S.

1 1.00 3.01 0.91 1.04 1.86 1.67 3.03 1.14

time (sec)

N/A 0.064 3.396 0.115 0.506 0.959 0.388 0.597 5.417

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 263 76 87 141 122 228 76

N.S.

1 1.00 3.29 0.95 1.09 1.76 1.52 2.85 0.95

time (sec)

N/A 0.050 1.856 0.110 0.524 1.051 0.322 0.530 5.069

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 66 50 55 67 53 110 38

N.S.

1 1.00 1.43 1.09 1.20 1.46 1.15 2.39 0.83

time (sec)

N/A 0.021 0.044 0.085 0.546 0.927 0.254 0.460 4.884

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 102 70 0 44 87 90 45

N.S.

1 1.00 2.17 1.49 0.00 0.94 1.85 1.91 0.96

time (sec)

N/A 0.030 0.455 0.174 0.000 0.944 0.134 0.448 5.010

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 94 91 0 57 162 117 70

N.S.

1 1.00 1.18 1.14 0.00 0.71 2.02 1.46 0.88

time (sec)

N/A 0.044 0.577 0.202 0.000 1.068 0.188 0.540 5.020

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 150 112 0 80 258 140 111

N.S.

1 1.00 1.34 1.00 0.00 0.71 2.30 1.25 0.99

time (sec)

N/A 0.059 0.747 0.212 0.000 1.286 0.254 0.667 5.103

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 948 176 187 371 313 670 217

N.S.

1 1.00 6.20 1.15 1.22 2.42 2.05 4.38 1.42

time (sec)

N/A 0.139 7.266 0.126 0.490 1.122 0.610 0.759 4.925

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 261 135 149 286 236 512 139

N.S.

1 1.00 2.25 1.16 1.28 2.47 2.03 4.41 1.20

time (sec)

N/A 0.112 3.193 0.136 0.503 1.131 0.441 0.657 4.917

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 175 94 98 158 119 301 75

N.S.

1 1.00 2.24 1.21 1.26 2.03 1.53 3.86 0.96

time (sec)

N/A 0.065 1.479 0.109 0.508 1.093 0.357 0.557 5.115

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 155 93 0 88 170 131 112

N.S.

1 1.00 2.07 1.24 0.00 1.17 2.27 1.75 1.49

time (sec)

N/A 0.061 1.008 0.244 0.000 1.132 0.264 0.565 5.624

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 134 123 0 83 258 176 93

N.S.

1 1.00 1.47 1.35 0.00 0.91 2.84 1.93 1.02

time (sec)

N/A 0.101 1.072 0.208 0.000 0.727 0.240 0.639 5.241

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 256 152 0 114 401 215 148

N.S.

1 1.00 1.98 1.18 0.00 0.88 3.11 1.67 1.15

time (sec)

N/A 0.117 1.066 0.227 0.000 0.741 0.388 0.781 5.443

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 1564 269 269 577 476 1117 356

N.S.

1 1.00 8.23 1.42 1.42 3.04 2.51 5.88 1.87

time (sec)

N/A 0.237 8.152 0.187 0.499 0.933 0.807 1.032 5.189

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 733 210 224 469 381 904 223

N.S.

1 1.00 5.20 1.49 1.59 3.33 2.70 6.41 1.58

time (sec)

N/A 0.140 6.394 0.160 0.499 0.898 0.730 0.942 5.064

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 219 155 150 288 223 597 122

N.S.

1 1.00 2.05 1.45 1.40 2.69 2.08 5.58 1.14

time (sec)

N/A 0.091 3.473 0.095 0.513 1.080 0.501 0.746 5.070

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 236 133 0 204 260 186 175

N.S.

1 1.00 1.83 1.03 0.00 1.58 2.02 1.44 1.36

time (sec)

N/A 0.107 2.042 0.242 0.000 0.770 0.445 0.734 5.664

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 305 159 0 131 393 226 184

N.S.

1 1.00 2.24 1.17 0.00 0.96 2.89 1.66 1.35

time (sec)

N/A 0.209 2.030 0.245 0.000 1.042 0.488 0.817 5.662

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 260 197 0 143 552 286 183

N.S.

1 1.00 1.86 1.41 0.00 1.02 3.94 2.04 1.31

time (sec)

N/A 0.155 1.605 0.275 0.000 0.879 0.460 0.952 5.607

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 229 116 144 216 257 247 99

N.S.

1 1.00 1.99 1.01 1.25 1.88 2.23 2.15 0.86

time (sec)

N/A 0.246 4.560 0.271 0.518 0.910 10.036 0.603 7.425

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 176 95 117 86 92 127 64

N.S.

1 1.00 1.66 0.90 1.10 0.81 0.87 1.20 0.60

time (sec)

N/A 0.089 1.807 0.209 0.495 1.041 4.221 0.536 5.754

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 95 83 93 44 44 71 43

N.S.

1 1.00 2.11 1.84 2.07 0.98 0.98 1.58 0.96

time (sec)

N/A 0.052 0.574 0.198 0.491 1.258 0.830 0.463 5.175

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 206 117 0 131 248 178 2639

N.S.

1 1.00 1.61 0.91 0.00 1.02 1.94 1.39 20.62

time (sec)

N/A 0.104 1.268 0.295 0.000 1.163 2.611 0.507 9.310

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 372 177 0 188 610 296 1384

N.S.

1 1.00 2.14 1.02 0.00 1.08 3.51 1.70 7.95

time (sec)

N/A 0.282 1.515 0.408 0.000 1.252 5.907 0.553 9.235

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 435 248 0 275 1192 445 1952

N.S.

1 1.00 1.86 1.06 0.00 1.18 5.09 1.90 8.34

time (sec)

N/A 0.461 2.021 0.558 0.000 1.352 14.339 0.687 10.002

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

142 142 1936 175 249 303 374 389 133

N.S.

1 1.00 13.63 1.23 1.75 2.13 2.63 2.74 0.94

time (sec)

N/A 0.258 7.662 0.281 0.484 1.262 16.932 0.641 6.817

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 253 153 218 143 156 232 139

N.S.

1 1.00 2.72 1.65 2.34 1.54 1.68 2.49 1.49

time (sec)

N/A 0.133 2.354 0.225 0.488 1.120 1.750 0.593 5.183

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 302 139 184 128 143 186 135

N.S.

1 1.00 4.03 1.85 2.45 1.71 1.91 2.48 1.80

time (sec)

N/A 0.106 2.481 0.237 0.507 0.862 1.674 0.552 5.126

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 385 163 0 336 510 342 1334

N.S.

1 1.00 1.91 0.81 0.00 1.66 2.52 1.69 6.60

time (sec)

N/A 0.243 2.992 0.450 0.000 1.352 14.843 0.585 8.769

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 476 227 0 513 966 496 1984

N.S.

1 1.00 1.76 0.84 0.00 1.89 3.56 1.83 7.32

time (sec)

N/A 0.385 4.071 0.702 0.000 1.076 31.062 0.689 10.329

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 633 298 0 609 1792 648 2653

N.S.

1 1.00 1.77 0.83 0.00 1.71 5.02 1.82 7.43

time (sec)

N/A 0.642 5.223 1.033 0.000 1.299 73.486 0.828 11.672

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 595 239 409 311 377 470 314

N.S.

1 1.00 4.44 1.78 3.05 2.32 2.81 3.51 2.34

time (sec)

N/A 0.182 2.801 0.339 0.503 1.551 4.032 0.798 5.617

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 317 216 386 316 391 472 297

N.S.

1 1.00 2.54 1.73 3.09 2.53 3.13 3.78 2.38

time (sec)

N/A 0.182 4.530 0.312 0.522 0.905 4.205 0.739 5.509

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 315 200 331 278 354 364 281

N.S.

1 1.00 3.03 1.92 3.18 2.67 3.40 3.50 2.70

time (sec)

N/A 0.155 3.587 0.282 0.535 1.484 4.049 0.653 5.372

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 474 239 0 719 821 496 1910

N.S.

1 1.00 1.74 0.88 0.00 2.63 3.01 1.82 7.00

time (sec)

N/A 0.331 7.460 0.636 0.000 1.123 54.147 0.706 10.105

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B A B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

354 354 4395 304 0 918 1583 806 2640

N.S.

1 1.00 12.42 0.86 0.00 2.59 4.47 2.28 7.46

time (sec)

N/A 0.533 8.171 1.010 0.000 1.214 102.385 0.834 12.085

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F(-1) A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

448 448 5726 374 0 1151 0 782 2500

N.S.

1 1.00 12.78 0.83 0.00 2.57 0.00 1.75 5.58

time (sec)

N/A 0.833 8.531 1.686 0.000 1.235 0.000 1.033 13.521

[next] [prev] [prev-tail] [front] [up]